- Systembeschreibung
- f описание с. системы; справочное руководство с.
Neue große deutsch-russische Wörterbuch Polytechnic. 2014.
Systembeschreibung
Смотреть что такое "Systembeschreibung" в других словарях:
Systemtheorie (Ingenieurwissenschaften) — Der Begriff der Systemtheorie wird in verschiedenen wissenschaftlichen Disziplinen angewendet und hat in Bezug auf den Primärbegriff System keine einheitliche Bedeutung. Systeme können sich als physikalische, ökologische, ökonomische, soziale… … Deutsch Wikipedia
Zustandsraumdarstellung — Die Zustandsraumdarstellung ist eine von mehreren bekannten Formen der Systembeschreibung eines dynamischen Übertragungssystems. Die Überführung einer systembeschreibenden Differenzialgleichung mit n Ableitungen der Ausgangsgröße y(t) und m… … Deutsch Wikipedia
Model Checking — (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel). Der Begriff ist motiviert durch die mathematische Formulierung des Problems: Für eine gegebene… … Deutsch Wikipedia
Modelchecking — Model Checking (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel). Der Begriff ist motiviert durch die mathematische Formulierung des Problems: Für … Deutsch Wikipedia
Modellprüfer — Model Checking (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel). Der Begriff ist motiviert durch die mathematische Formulierung des Problems: Für … Deutsch Wikipedia
Modellprüfung — Model Checking (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel). Der Begriff ist motiviert durch die mathematische Formulierung des Problems: Für … Deutsch Wikipedia
Modellprüfverfahren — Model Checking (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel). Der Begriff ist motiviert durch die mathematische Formulierung des Problems: Für … Deutsch Wikipedia
Paketquelle — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung. Ein Repository (engl. für deutsch: Lager, Depot), auch Repositorium … Deutsch Wikipedia
Paketquellen — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung. Ein Repository (engl. für deutsch: Lager, Depot), auch Repositorium … Deutsch Wikipedia
Projektarchiv — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung. Ein Repository (engl. für deutsch: Lager, Depot), auch Repositorium … Deutsch Wikipedia
Aulay MacAulay — (* vor 1747; † nach 1756; genaue Lebensdaten unbekannt) aus England entwickelte und erfand ein Stenografiesystem, das unter dem Verfassernamen in die Kurzschriftgeschichte einging. Über sein Leben außerhalb seines stenografischen Wirkens sind… … Deutsch Wikipedia
